A High - Level Petri Net for Incremental Speci cation of Object - Oriented System Requirements

For complementing the weakness of Petri nets in terms of naturallity, modularity, and reusability, a number of high-level Petri nets with the concepts of objects were suggested. However, it is di cult to apply these nets for the requirements speci cation of object-oriented software systems because of insu cient supporting of the object-oriented concepts. In this paper, we developed a Hierarchical Object-Oriented Petri Net(HOONet) to complement the weakness of the existing formalisms, and formally de ned its syntax and semantics. And also we provide reachability analysis method to check the behavioural properties such as boundedness, liveness and persistence of HOONet models. When we try to specify the requirements of object-oriented system, the HOONet provides incremental modeling and analysis of the requirements by the suppporting of object-oriented concepts.